🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

The Easiest Way to Build a Type Checker
jimmyhmiller.com·11h·
Discuss: Hacker News
⬌Bidirectional Typing
Flag this post
No Deus ex Machina
thestoicprogrammer.substack.com·20h·
Discuss: Substack
🔩Systems Programming
Flag this post
Rethinking C++: Architecture, Concepts, and Responsibility
blogs.embarcadero.com·3d·
Discuss: Hacker News
💧Liquid Types
Flag this post
Automatic Syntax Error Recovery (2020)
tratt.net·19h·
Discuss: Lobsters
🌳Incremental Parsing
Flag this post
Lang’s theorem — Pt. IV: a mixed-characteristic variant
ayoucis.wordpress.com·9h
λLambda Encodings
Flag this post
WebAssembly Still Expanding Frontend Uses 10 Years Later
thenewstack.io·13h
🕸️WebAssembly
Flag this post
What is GNU Emacs and do you want a copy? (1986)
gnu.org·7h·
Discuss: Hacker News
📟Terminals
Flag this post
The Sacrilegious Coder
dev.to·6h·
Discuss: DEV
🎯Gradual Typing
Flag this post
Rethinking where language comes from: Framework reveals complex interplay of biology and culture
phys.org·2d
📼Cassette Linguistics
Flag this post
Thankful for Memory Managed Languages
mooreds.com·11h·
Discuss: Hacker News
🔩Systems Programming
Flag this post
Incorporating Self-Rewriting into Large Language Model Reasoning Reinforcement
arxiv.org·2d
💻Programming languages
Flag this post
Maybe somebody can explain to me how weak references solve the ODR problem
devblogs.microsoft.com·1d
🔗Static Linking
Flag this post
An overview of memory management in Go (2021)
medium.com·12h·
Discuss: Hacker News
🧠Memory Allocators
Flag this post
Understanding LLMs as Pattern Machines, Not Thinking Partners
practicalsecurity.substack.com·19h·
Discuss: Substack
💻Programming languages
Flag this post
POPL Paper—Hyperfunctions: Communicating Continuations
doisinkidney.com·5d
💻Programming languages
Flag this post
Infix Versus Prefix Operators
irreal.org·14h
🧠Lisp Dialects
Flag this post
Where "Simulation" Came From
decomposition.al·2d·
Discuss: Hacker News
🔤Type Theory
Flag this post
Dingo: A Meta-Language for Go
github.com·4h·
Discuss: Lobsters, Hacker News
🦀Rust Macros
Flag this post
Algol 68 GCC Compiler Patches Updated With Modules System Added
phoronix.com·17h
🦀Rust Macros
Flag this post
Vibe Coding a Compiler: From Natural Language to LLVM IR
medium.com·1d·
Discuss: Hacker News
🔗Concatenative Programming
Flag this post